using substitution to integrate